<?php if($diff===false): ?>
<div class="error">Diff is not supported for this file type.</div>
<?php elseif(empty($diff)): ?>
<div class="error">No changes.</div>
<?php else: ?>
<div class="content">
	<pre class="diff">
	<?php echo $diff; ?>
	</pre>
</div>
	<?php endif; ?>
